\relax 
\citation{ieeeDict}
\@writefile{toc}{\contentsline {chapter}{\numberline {4}$\pi $SOD-M Validation}{91}}
\newlabel{chapter:validation}{{4}{91}}
\@writefile{toc}{\contentsline {section}{\numberline {4.1}Validation Strategy}{91}}
\newlabel{sec:strategy}{{4.1}{91}}
\@writefile{toc}{\contentsline {section}{\numberline {4.2}$\pi $SOD-M in Practice}{92}}
\newlabel{sec:execution}{{4.2}{92}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.1}Crimes' Map}{92}}
\newlabel{sec:crimes_inpractice}{{4.2.1}{92}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.2.1.1}$\pi $-UseCase Model}{93}}
\newlabel{sec:usecase_crimesMap}{{4.2.1.1}{93}}
\@writefile{lof}{\contentsline {figure}{\numberline {42}{\ignorespaces Crimes' Map $\pi $-UseCase.\relax }}{94}}
\newlabel{fig:usecaseCrimeMap_total}{{42}{94}}
\@writefile{lof}{\contentsline {figure}{\numberline {43}{\ignorespaces \textit  {search crime} $\pi $-UseCase Detail.\relax }}{95}}
\newlabel{fig:usecaseCrimeMap1}{{43}{95}}
\@writefile{lof}{\contentsline {figure}{\numberline {44}{\ignorespaces \textit  {see crime information} $\pi $-UseCase Detail.\relax }}{96}}
\newlabel{fig:usecaseCrimeMap2}{{44}{96}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.2.1.2}$\pi $-ServiceProcess Model}{96}}
\newlabel{sec:serviceprocess_crimesMap}{{4.2.1.2}{96}}
\@writefile{lof}{\contentsline {figure}{\numberline {45}{\ignorespaces Crimes' Map Services.\relax }}{97}}
\newlabel{fig:servicesCrimeMap}{{45}{97}}
\@writefile{lof}{\contentsline {figure}{\numberline {46}{\ignorespaces \textit  {see crime information} $\pi $-ServiceProcess Detail.\relax }}{97}}
\newlabel{fig:serviceProcessCrimeMap}{{46}{97}}
\@writefile{lof}{\contentsline {figure}{\numberline {47}{\ignorespaces \textit  {see crime information} $\pi $-ServiceComposition Environment Detail.\relax }}{98}}
\newlabel{fig:toolserviceCompositionCrimeMap}{{47}{98}}
\@writefile{lof}{\contentsline {figure}{\numberline {48}{\ignorespaces \textit  {see crime statistic and share information} $\pi $-ServiceProcess Detail.\relax }}{99}}
\newlabel{fig:serviceProcessCrimeMap2}{{48}{99}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.2.1.3}$\pi $-ServiceComposition Model}{99}}
\newlabel{sec:servicecomposition_crimesMap}{{4.2.1.3}{99}}
\@writefile{lof}{\contentsline {figure}{\numberline {49}{\ignorespaces \textit  {see crime statistic and share information} $\pi $-ServiceComposition Environment Detail.\relax }}{100}}
\newlabel{fig:toolserviceProcessCrimeMap2}{{49}{100}}
\@writefile{lof}{\contentsline {figure}{\numberline {50}{\ignorespaces \textit  {see crime information} $\pi $-ServiceComposition Detail.\relax }}{101}}
\newlabel{fig:serviceCompositionCrimeMap}{{50}{101}}
\@writefile{lof}{\contentsline {figure}{\numberline {51}{\ignorespaces \textit  {see crime information} $\pi $-ServiceComposition Environment Detail.\relax }}{102}}
\newlabel{fig:toolserviceCompositionCrimeMap}{{51}{102}}
\@writefile{lof}{\contentsline {figure}{\numberline {52}{\ignorespaces \textit  {see crime statistic and share information} $\pi $-ServiceComposition Detail.\relax }}{103}}
\newlabel{fig:serviceCompositionCrimeMap2}{{52}{103}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.2}To Publish Music}{103}}
\newlabel{sec:toPublishMusic_inpractice}{{4.2.2}{103}}
\@writefile{lof}{\contentsline {figure}{\numberline {53}{\ignorespaces \textit  {see crime statistic and share information} $\pi $-ServiceComposition Environment Detail.\relax }}{104}}
\newlabel{fig:toolserviceCompositionCrimeMap2}{{53}{104}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.2.2.1}$\pi $-UseCase Model}{104}}
\newlabel{sec:usecase_topublishMusic}{{4.2.2.1}{104}}
\@writefile{lof}{\contentsline {figure}{\numberline {54}{\ignorespaces \textit  {To Publish Music} $\pi $-UseCase.\relax }}{105}}
\newlabel{fig:publishMusic_usecase}{{54}{105}}
\@writefile{lof}{\contentsline {figure}{\numberline {55}{\ignorespaces \textit  {To Publish Music} $\pi $-UseCase Environment Detail\relax }}{106}}
\newlabel{fig:toolpublishMusic_usecase}{{55}{106}}
\@writefile{lof}{\contentsline {figure}{\numberline {56}{\ignorespaces \textit  {To Publish Music}$\pi $-UseCase Environment Detail 2.\relax }}{106}}
\newlabel{fig:toolpublishMusic_usecase2}{{56}{106}}
\@writefile{lof}{\contentsline {figure}{\numberline {57}{\ignorespaces To Publish Music Services.\relax }}{107}}
\newlabel{fig:servicesToPublishMusic}{{57}{107}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.2.2.2}$\pi $-ServiceProcess Model}{107}}
\newlabel{sec:serviceProcess_topublishMusic}{{4.2.2.2}{107}}
\@writefile{lof}{\contentsline {figure}{\numberline {58}{\ignorespaces \textit  {To Publish Music} $\pi $-ServiceProcess.\relax }}{108}}
\newlabel{fig:publishmusic_piserviceProcessToolModelProperties}{{58}{108}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.2.2.3}$\pi $-ServiceComposition Model}{108}}
\newlabel{sec:serviceComposition_topublishMusic}{{4.2.2.3}{108}}
\@writefile{lof}{\contentsline {figure}{\numberline {59}{\ignorespaces \textit  {To Publish Music} $\pi $-ServiceComposition Model.\relax }}{109}}
\newlabel{fig:topublishMusic_piserviceCompositionToolModel}{{59}{109}}
\@writefile{toc}{\contentsline {section}{\numberline {4.3}Conclusions}{109}}
\newlabel{sec:conclusion_validation}{{4.3}{109}}
\@setckpt{chapters/validation/validation}{
\setcounter{page}{111}
\setcounter{equation}{0}
\setcounter{enumi}{5}
\setcounter{enumii}{0}
\setcounter{enumiii}{0}
\setcounter{enumiv}{0}
\setcounter{footnote}{0}
\setcounter{mpfootnote}{0}
\setcounter{part}{0}
\setcounter{chapter}{4}
\setcounter{section}{3}
\setcounter{subsection}{0}
\setcounter{subsubsection}{3}
\setcounter{paragraph}{0}
\setcounter{subparagraph}{0}
\setcounter{figure}{59}
\setcounter{table}{6}
\setcounter{lstnumber}{1}
\setcounter{parentequation}{0}
\setcounter{ContinuedFloat}{0}
\setcounter{KVtest}{0}
\setcounter{subfigure}{0}
\setcounter{subfigure@save}{3}
\setcounter{lofdepth}{1}
\setcounter{subtable}{0}
\setcounter{subtable@save}{0}
\setcounter{lotdepth}{1}
\setcounter{r@tfl@t}{0}
\setcounter{regraA}{1}
\setcounter{regraB}{1}
\setcounter{lstlisting}{0}
}
